1.
Modern Perspective On Type Theory From Its Origins Until Today
by Kamareddine, Fairouz D., La...
ISBN: 9781402023347
List Price: $219.00
2.
Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)
by Nederpelt, R. P.
ISBN: 9780444898227
List Price: $250.00